nondegenerate bilinear form

非退化双线性型